-
1 inductively definable function
English-Russian scientific dictionary > inductively definable function
-
2 inductively definable function
Математика: индуктивно определяемая функцияУниверсальный англо-русский словарь > inductively definable function
См. также в других словарях:
время — 3.3.4 время tE (time tE): время нагрева начальным пусковым переменным током IА обмотки ротора или статора от температуры, достигаемой в номинальном режиме работы, до допустимой температуры при максимальной температуре окружающей среды. Источник … Словарь-справочник терминов нормативно-технической документации
Теорема Тейлора — Экспоненциальная функция y = ex (сплошная красная линия) и соответствующий многочлен Тейлора четвёртого порядка (штрих пунктирная зелёная линия) вблизи начала координат … Википедия
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия